#include <arch/CPU.h>
#include <stdio.h>
#include <stdarg.h>

void panic(const char *fmt, ...) {
	va_list args;
	va_start(args, fmt);
	
	printf("\e[01mKernel Panic: \e[0m\n");
	
	printf(fmt, args);
	
	va_end(args);
	
	CPU::Halt();
}
